Relational theory

Results: 1338



#Item
81Computing / Data management / Data / Database management systems / SQL / Database theory / Data integration / Query optimization / Database / Relational database / Query language / Crowdsourcing

Master’s Thesis Nr. 2 Systems Group, Department of Computer Science, ETH Zurich CrowdDB – Answering Queries with Crowdsourcing by

Add to Reading List

Source URL: www.kutter-fonds.ethz.ch

Language: English - Date: 2011-03-28 08:09:50
82Semantic Web / Query languages / Resource Description Framework / Graph database / Triplestore / Graph theory / SPARQL / Matching / Connectivity

Graph-based Approximate Counting for Relational Probabilistic Models Mayukh Das Yuqing Wu Tushar Khot

Add to Reading List

Source URL: www.indiana.edu

Language: English - Date: 2015-07-10 13:55:18
83Virtue / Communication theory / Emotions / Forgiveness / Philosophy of love / Spirituality / Agreeableness / Dyad / G factor / Norm of reciprocity / Social network / Relational transgression

PERSONALITY PROCESSES AND INDIVIDUAL DIFFERENCES Responses to Interpersonal Transgressions in Families: Forgivingness, Forgivability, and Relationship-Specific Effects William T. Hoyt

Add to Reading List

Source URL: www.psy.miami.edu

Language: English - Date: 2006-07-11 16:21:06
84Model theory / Mathematical logic / Interpretation / Philosophy of mind / Semantics / Relational algebra / Structure / operator / Substitution

Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2011-05-25 12:08:33
85Theoretical computer science / Software / Logic / Proof assistants / Automated theorem proving / Formal systems / Logical truth / Proof theory / Isabelle / ACL2 / Coq / Proof

SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:20:45
86Database theory / Database / Object-relational mapping / Data model / Entityrelationship model

Databases in Bioinformatics

Add to Reading List

Source URL: www.cgl.ucsf.edu

Language: English - Date: 2005-08-06 16:58:13
87Model theory / Predicate logic / Statistical models / Regression analysis / Probability theory / Bayesian network / Exchangeable random variables / FO / Type / Expected value / Joint probability distribution / Quantifier

Representing Aggregators in Relational Probabilistic Models David Buchman⇤ Department of Computer Science University of British Columbia Vancouver, BC, Canada

Add to Reading List

Source URL: www.cs.ubc.ca

Language: English - Date: 2014-11-23 13:34:56
88Control theory / Linear algebra / Linear system / Systems theory / Eigenvalues and eigenvectors / State-space representation

Time-Aware Relational Abstractions for Hybrid Systems Sergio Mover∗ FBK, Trento

Add to Reading List

Source URL: es-static.fbk.eu

Language: English - Date: 2013-09-26 05:44:33
89Model theory / Formal languages / Mathematical logic / Structure / Universal algebra / Interpretation / Relational algebra / Substitution

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2010-08-09 16:46:30
UPDATE